<html>
<head><meta charset="utf-8"><title>compiling branches to MIR · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/compiling.20branches.20to.20MIR.html">compiling branches to MIR</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="214863006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/compiling%20branches%20to%20MIR/near/214863006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Xavier Denis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/compiling.20branches.20to.20MIR.html#214863006">(Oct 28 2020 at 16:35)</a>:</h4>
<p>not sure if this is the correct channel but does anyone here know why when compiling the branches of a match, one branch gets compiled differently? All branches but one use a reborrow, though at source level they are identical</p>



<a name="214863020"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/compiling%20branches%20to%20MIR/near/214863020" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Xavier Denis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/compiling.20branches.20to.20MIR.html#214863020">(Oct 28 2020 at 16:35)</a>:</h4>
<p><a href="#narrow/stream/183875-wg-formal-methods/topic/Inconsistency.20in.20MIR.20for.20branches/near/214769775">https://rust-lang.zulipchat.com/#narrow/stream/183875-wg-formal-methods/topic/Inconsistency.20in.20MIR.20for.20branches/near/214769775</a> see the example here</p>



<a name="214868970"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/compiling%20branches%20to%20MIR/near/214868970" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/compiling.20branches.20to.20MIR.html#214868970">(Oct 28 2020 at 17:17)</a>:</h4>
<p>I'd suggest <a class="stream" data-stream-id="182449" href="/#narrow/stream/182449-t-compiler.2Fhelp">#t-compiler/help</a> where you'll have more eyes to look at this</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>